-
1 algebraic zero
Большой англо-русский и русско-английский словарь > algebraic zero
-
2 algebraic zero
Математика: алгебраический нуль -
3 algebraic zero
-
4 algebraic zero
мат. -
5 zero
-
6 zero
1) нульа) число; цифраб) символ нуля, символ 0,-символ с кодом ASCII 30hв) нулевая точка; начало координат2) обнулятьа) приравнивать нулю; полагать равным нулю; присваивать значение "0"б) вчт очищать; сбрасывать3) нулевой; равный нулю4) нуль или минимум (принимаемого) сигнала; нуль или минимум диаграммы направленности (напр. антенны)5) шкальный нуль; нулевое деление шкалы (напр. индикатора измерительного прибора) || устанавливать на нуль, устанавливать на нулевое деление шкалы (напр. стрелку индикатора измерительного прибора)•- zero of polynomial
- absolute zero
- aleph-zero
- algebraic zero
- binary zero
- Boolean zero
- complex zero
- computer zero
- decimal zero
- degenerate zero
- disturbed zero
- double zero
- false zero
- floating zero
- function zero
- fuzzy zero
- imaginary zero
- inferred zero
- leading zeros
- minus zero
- multiple zero
- negative zero
- no zero
- nondegenerate zero
- nonsignificant zero
- pattern zero
- plus zero
- positive zero
- range zero
- real zero
- simple zero
- single-ended zero
- structural zeros
- suppressed zero
- time zero
- trailing zeros -
7 алгебраический нуль
Большой англо-русский и русско-английский словарь > алгебраический нуль
-
8 variety
1) разнообразие; многообразие2) множество3) видоизменение, изменчивость•- absolutely irreducible variety - absolutely normal variety - arithmetically normal variety - connected complete variety - finitely definable variety - locally analytic variety - locally finite variety - locally normal variety - locally soluble variety - locally solvable variety - proper algebraic variety - solvable variety -
9 field
1) поле || полевой2) магн. наряжённость поля3) участок; область5) полигр. фон; грунт6) горн. прииск; месторождение7) горн. промысел || промысловый8) матем. тело; поле10) полевой; эксплуатационный•- algebraically complete field - axisymmetric field - base field - basic field - completely valuated field - field of algebraic numbers - fully ordered field - fully ramified field - gross field - guiding magnetic field - linear transformation field - locally compact ultrametric field - locally finite field - purely unseparable field - strictly monotone field - strongly isomorphic field - topologized algebraic field - totally imaginary field - totally ramified field - totally real fieldfield with a valuation — поле с оценкой, поле с нормой; метризованное поле
-
10 element
1) элемент, компонент, деталь, составная часть2) звено; блок; модуль3) устройство, узел4) орган5) датчик, первичный элемент6) элемент, параметр• -
11 representation
1) изображение2) отображение; представление•- completely irreducible representation - completely reduced representation - completely reducible representation - discrete representation - finitely related representation - identity representation - locally constant representation - locally faithful representation - strongly rational representation - totally reducible representation -
12 space
1) интервал, промежуток2) пробел || оставлять пробелы3) область; площадь4) пространство || пространственный5) космос, космическое пространство6) полость7) расстояние•- absolutely compact space - absolutely embedded space - absolutely thick space - algebraically parallel space - almost complex space - almost expandable space - almost isomorphic space - almost metric space - almost nonsingular space - almost paracompact space - almost pretopological space - analytically ramified covering space - arcwise connected space - centrally harmonic space - compactly ordered space - completely continuous space - completely degenerate space - completely disconnected space - completely harmonic space - completely metric space - completely normal space - completely reducible space - completely regular space - completely reticulated space - completely separable space - completely separated space - completely symmetric space - completely uniformizable space - constant curvature space - continuous sample space - continuously ordered space - contractible in itself space - countably compactifiable space - countably dimensional space - countably generated space - countably infinite space - countably metacompact space - countably multinormed space - countably normed space - countably paracompact space - countably refinable space - countably subcompact space - finitely productive space - finitely sheeted space - finitely triangulated space - fully normal space - general metrizable space - general topological space - global analytic space - globally symmetric space - hereditarily normal space - hereditarily paracompact space - hereditarily separable space - hereditarily symmetric space - holomorphic tangent space - holomorphically complete space - holomorphically convex space - homotopy associative space - iterated loop space - linearly connected space - linearly ordered space - linearly topologized space - load space - locally bounded space - locally closed space - locally compact space - locally complete space - locally connected space - locally contractible space - locally convex space - locally directed space - locally fine space - locally holomorphic space - locally homogeneous space - locally hyperbolic space - locally linear space - locally metrizable space - locally ringed space - locally separable space - locally simply connected space - locally solid space - locally spherical space - locally star-shaped space - locally symmetric space - locally timelike space - locally triangulable space - monotonically normal space - naturally isomorphic space - naturally ordered space - naturally reductive space - nearly paracompact space - negative metric space - normally separated space - not simply connected space - nowhere connected space - null space of linear transformation - n-way projective space - perfectly normal space - perfectly regular space - perfectly screenable space - perfectly separable space - peripherically bicompact space - peripherically compact space - pointwise paracompact space - projectively metric space - quaternion hyperbolic space - quaternion projective space - quaternion vector space - regularly ordered space - relatively discrete space - relatively strong space - sequentially closed space - sequentially compact space - sequentially complete space - sequentially quasicomplete space - sequentially separable space - simply ordered space - simply partitionable space - space of affine connectedness - space of complex homomorphisms - space of continuous functions - space of finite measure - space of linear interpolation - space of right cosets - space of scalar curvature - strongly bounded space - strongly closed space - strongly compact space - strongly complete space - strongly irreducible space - strongly normal space - strongly normed space - strongly paracompact space - strongly pseudocompact space - strongly pseudometrizable space - strongly rigid space - strongly screenable space - structural space - structure space - topologically complete space - totally disconnected space - totally geodesic space - totally imperfect space - totally normal space - totally orderable space - totally ordered space - water jacket space - weakly closed space - weakly compact space - weakly complete space - weakly covering space - weakly dense space - weakly favorable space - weakly n-dimensional space - weakly paracompact space - weakly regular space - weakly separable space - weakly symmetric spaceto space out — полигр. набирать вразрядку
-
13 structure
1) конструкция; строение; структура || структурировать2) сооружение, здание; строительная конструкция3) состав4) текстура5) геол. формация•- finitely generated structure - fish protection structure - locally convex structure - recursively presentable structure - redundant logical structure - strictly finer structure - strongly undecidable structure - weakly saturated structure -
14 residual current
дифференциальный ток
Алгебраическая сумма значений электрических токов во всех токоведущих проводниках в одно и то же время в данной точке электрической цепи электрической установки
[ ГОСТ Р МЭК 60050-826-2009]
Примечание - Определение термина «дифференциальный ток» в МЭК 60050-826 [4] сформулировано для электрической цепи. Через главную цепь устройства дифференциального тока, защищающего электрическую цепь, проходят все ее проводники, находящиеся под напряжением, вследствие чего дифференциальный ток, появляющийся в электрической цепи, будет равен дифференциальному току, определяемому устройством дифференциального тока.
[ ГОСТ Р 50571. 1-2009 ( МЭК 60364-1: 2005)]
дифференциальный ток
IΔ,
Действующее значение векторной суммы токов, протекающих в главной цепи.
дифференциальный ток
ID
Среднеквадратическое значение векторной суммы токов, протекающих через главную цепь устройства дифференциального тока.
П р и м е ч а н и е - Определение термина «дифференциальный ток» в МЭК 60050-442 [6] сформулировано для устройства дифференциального тока.
[ ГОСТ Р 50571. 1-2009 ( МЭК 60364-1: 2005)]
дифференциальный ток
-
[Лугинский Я. Н. и др. Англо-русский словарь по электротехнике и электроэнергетике. 2-е издание - М.: РУССО, 1995 - 616 с.]EN
residual current
algebraic sum of the values of the electric currents in all live conductors, at the same time at a given point of an electric circuit in an electrical installation
[IEV number 826-11-19]
residual current
r.m.s. value of the vector sum of the currents flowing through the main circuit of the residual current device
[IEV number 442-05-19]FR
courant différentiel résiduel, m
somme algébrique des valeurs des courants électriques dans tous les conducteurs actifs, au même instant en un point donné d'un circuit électrique d'une installation électrique
[IEV number 826-11-19]
courant différentiel résiduel
valeur efficace de la somme vectorielle des courants circulant dans le circuit principal du dispositif de coupure différentiel
[IEV number 442-05-19]Недопустимые, нерекомендуемые
Тематики
- электробезопасность
- электротехника, основные понятия
EN
DE
FR
ток нулевой последовательности
-
[Интент]Известно, что произвольную несимметричную систему трех векторов тока (напряжения) можно разложить на три симметричные системы:
– систему токов прямой последовательности;
– систему токов обратной последовательности;
– систему токов нулевой последовательности.
Симметричная система токов прямой (а), обратной (б) и нулевой (г) последовательностейСимметричная система токов прямой последовательности представляет три одинаковых по величине вектора с относительным сдвигом по фазе 120о, вращающихся против часовой стрелки. Чередование фаз А-В-С принимается по часовой стрелке. Аналогичные условия имеем для обратной последовательности с чередованием фаз А-С-В. Система нулевой последовательности существенно отличается от прямой и обратной тем, что отсутствует сдвиг фаз. Нулевая система токов по существу представляет три однофазных тока, для которых три провода трехфазной цепи представляют прямой провод, а обратным проводом служит земля или четвертый (нулевой), по которому ток возвращается.
Источник: http://kurs.ido.tpu.ru/courses/emppves/chapter/chapter_6/chapter_6.1.htm
Параллельные тексты EN-RU
The function determines the zero-phase sequence current, i.e. the vectorial sum of the phase and neutral currents.
[Schneider Electric]Данная функция определяет ток нулевой последовательности, т. е. векторную сумму токов фазных и нулевого защитного проводников.
[Перевод Интент]
Тематики
- выключатель автоматический
- электротехника, основные понятия
EN
Примечаниеresidual current - Термин Schneider Electricток утечки
Ipe
Ток, протекающий через вывод РЕ, когда на УЗИП подано максимальное длительное рабочее напряжение (Uc), с соединениями без нагрузки, выполненными согласно указаниям изготовителя.
[ ГОСТ Р 51992-2011( МЭК 61643-1: 2005)]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > residual current
-
15 code
1) код; система кодирования || кодировать2) программа, текст программы, код || программировать, писать программу•-
absolute code
-
abstract code
-
address code
-
aeronautical code
-
algebraic code
-
alphanumeric code
-
alphameric code
-
answer-back code
-
antipollution code
-
area code
-
arithmetic code
-
authentication code
-
automatic code
-
balanced code
-
bar code
-
basic code
-
Baudot code
-
BCH code
-
best estimate code
-
binary code
-
binary-coded decimal code
-
binary decimal code
-
biphase code
-
bipolar code
-
block code
-
boiler code
-
Bose-Chaudhuri-Hocquenghem code
-
Building code
-
burst-correcting code
-
burst-detecting code
-
cable code
-
card code
-
carriage return code
-
chain code
-
channel code
-
character code
-
circulant code
-
close-packed code
-
code of practice
-
color code
-
command code
-
compiled code
-
complementary code
-
completion code
-
component code
-
computer code
-
concatenated code
-
condition code
-
constant ratio code
-
control code
-
convolutional code
-
copy codes
-
cyclic code
-
cyclic redundancy code
-
decimal code
-
destination code
-
diffuse code
-
direct code
-
dot-and-dash code
-
double-adjacent error-correcting code
-
electrical code
-
end line code
-
entropy code
-
equal-length code
-
equidistant code
-
erroneous code
-
error code
-
error-checking code
-
error-correcting code
-
error-detecting code
-
escape code
-
excess-N code
-
executable code
-
Fibonacci code
-
fixed-length code
-
fixed-weight code
-
flag code
-
format code
-
function code
-
genetic code
-
Gray code
-
group code
-
Hamming code
-
Hanning code
-
Hollerith code
-
Huffman code
-
identifying code
-
illegal code
-
instruction code
-
interleaved code
-
interrogation code
-
inverse code
-
kill line code
-
letter code
-
line ignore code
-
linear code
-
machine-language code
-
machine code
-
macro code
-
majority-decodable code
-
micro code
-
mnemonic code
-
m-out-of-n code
-
multiple-error correcting code
-
new common surface code
-
noise aeroport code
-
noise code
-
non-return-to-zero code
-
NRZI code
-
number code
-
numerical code
-
numeric code
-
n-unit code
-
object code
-
offset binary code
-
op code
-
parallel code
-
parity-check code
-
part-program code
-
P-code
-
perfect code
-
permutation code
-
personality code
-
polynomial code
-
positional code
-
position code
-
precedence code
-
prefix code
-
prime-residue error-correction code
-
proceed code
-
product code
-
pseudo code
-
pseudocyclic code
-
pseudonoise code
-
pseudoternary code
-
quasi-cyclic code
-
quasi-perfect code
-
quaternary code
-
rail code
-
raster code
-
recording code
-
rectangular bar code
-
recurrent code
-
redundant code
-
Reed-Muller code
-
Reed-Solomon code
-
reflected code
-
relative code
-
residue code
-
return code
-
return-to-zero code
-
rubout code
-
run-length code
-
run-length-limited code
-
sanitary code
-
self-checking code
-
serial code
-
sign code
-
simplex code
-
single error-correcting code
-
skeletal code
-
skip code
-
SMPTE time code
-
source code
-
specific code
-
standard code
-
state code
-
stop code
-
string code
-
studio code
-
symbolic code
-
systematic code
-
termination code
-
ternary code
-
time code
-
tool code
-
track code
-
transmission code
-
transparent code
-
trellis code
-
TTS code
-
twinned-binary code
-
two-frame code
-
type-bar flag code
-
typesetting code
-
unit disparity code
-
Universal Product code
-
unrail code
-
user identification code
-
user code
-
variable-length code
-
Wagner code
-
water code
-
weighted code
-
zero-disparity code
-
ZIP code -
16 ring
1) кольцо2) окружность; круг3) звон || звонить; звенеть4) кольцевая область; кольцо || кольцевой6) обруч || надевать обруч7) обод; фланец; обойма8) ободок9) телефон. звонок; вызов || посылать вызов10) вчт счётное кольцо; кольцевая схема11) тор12) фланец; хомут; бугель13) ядро•ring over field — мат. кольцо над полем
ring with cancellation — мат. кольцо без делителей нуля
ring with divided powers — мат. кольцо с разделёнными степенями
ring with division — мат. кольцо с делением
ring with divisors of zero — мат. кольцо с делителями нуля
ring with filtration — мат. кольцо с фильтрацией, фильтрованное кольцо
ring with identity — мат. кольцо с единицей
ring with involution — мат. кольцо с инволюцией
ring with maximum condition — мат. кольцо с условием максимальности
ring with minimum condition — мат. кольцо с условием минимальности
ring with operators — мат. кольцо с операторами, операторное кольцо
ring with unit element — мат. кольцо с единицей
ring with unity — мат. кольцо с единицей
ring without divisors of zero — мат. кольцо без делителей нуля
ring without identity — мат. кольцо без единицы
- absolutely flat ring - analytically normal ring - analytically unramified ring - completely reducible ringring without radical — мат. кольцо без радикала
- eye ring- flat cohomology ring - fully primary ring - lattice ordered ring - left hereditary ring - locally decomposable ring - locally factorial ring - locally matrix ring - locally nilpotent ring - locally polynomial ring- mud ring- nil ring- nilpotent ring - projectively trivial ring- rim ring- ring of analytical functions - ring of formal power series - ring of linear transformations - ring of principal ideals - ring of vector functions- ring off- top ring- total quotient ring - totally primary ring - totally reducible ring - weakly regular ring -
17 set
1) набор; комплект- semiconductor assembly set - set of Belleville springs - set of conventional set - set of drawing instruments - set of gate patterns - set of gauge blocks - set of logical elements - set of statistical data - set of technical aids- snap set2) партия3) совокупность; множество4) установка; агрегат- desk telephone set - dial telephone set- gear set- local-battery telephone set - man-pack radio set - multi-operator welding set - sound-powered telephone set - wall telephone set5) регулировка; настройка || регулировать; настраивать6) группа; ансамбль7) класс; семейство9) схватывание || схватываться10) затвердевание || затвердевать11) крепление || закреплять12) геол. свита пород13) осадка (грунта) || оседать ( о грунте)14) радиоточка15) спорт сет16) включать, приводить в действие17) мат. множествоset closed under operation — множество, замкнутое относительно операции
- absolutely compact set - absolutely continuous set - absolutely convex set - absolutely irreducible set - absolutely measurable set - affinely independent set - affinely invariant set - algebraically independent set - almost finite set - almost full set - angular cluster set - asymptotically indecomposable set - at most denumerable set - centro-symmetric set - completely bounded set - completely continuous set - completely generating set - completely improper set - completely irreducible set - completely nonatomic set - completely normal set - completely ordered set - completely productive set - completely reducible set - completely separable set - constructively nonrecursive set - convexly independent set - countably infinite setto set aside — не учитывать, не принимать во внимание; откладывать
- cut set- cyclically ordered set - deductively inconsistent set - derived set - doubly well-ordered set - dual set of equations - dynamically disconnected set - effectively enumerable set - effectively generating set - effectively nonrecursive set - effectively simple set - enumeration reducible set - finely perfect set - finitely definite set - finitely measurable set- flat set- full set- fully reducible set - functionally closed set - functionally complete set - functionally open set - fundamental probability set - generalized almost periodic set- goal set- internally stable set- knot set- left directed set - left normal set - left-hand cluster set - linearly ordered set - local peak set - locally arcwise set - locally closed set - locally compact set - locally connected set - locally contractible set - locally convex set - locally finite set - locally invariant set - locally negligible set - locally null set - locally polar set - locally polyhedral set - metrically bounded set - metrically dense set - multiply ordered set - nearly analytic set - nearly closed set - nonvoid set - normally ordered set- null set- open in rays set - partitioned data set- peak set- pole set- positively homothetic set- pure set- radially open set - rationally independent set - recursively creative set - recursively indecomposable set - recursively isomorphic set - recursively productive set - regularly convex set - regularly situated sets - relatively closed set - relatively compact set - relatively dense set - relatively interpretable set - relatively open set - right normal set - right-hand cluster set- scar set- sequentially complete set - serially ordered set - set of elementary events - set of first category - set of first kind - set of first species - set of possible outcomes - set of probability null - set of second category - set of second species - shift invariant set - simply connected set - simply ordered set - simply transitive set- skew set- star set- strongly bounded set - strongly closed set - strongly compact set - strongly connected set - strongly convex set - strongly dependent set - strongly disjoint sets - strongly enumerable set - strongly independent set - strongly minimal set - strongly polar set - strongly reducible set - strongly separated set - strongly simple set - strongly stratified set- tame set- tautologically complete set - tautologically consistent set - tautologically inconsistent set- test set- thin set- tie set- time set- totally disconnected set - totally imperfect set - totally ordered set - totally primitive set - totally unimodular set - totally unordered set - truth-table reducible set - uniformly bounded set - uniformly continuous set - uniformly convergent set - uniformly integrable set - uniformly universal set - unilaterally connected set- unit set- vacuous set- void set- weakly compact set - weakly convex set - weakly n-dimensional set - weakly stratified set - weakly wandering set - well chained set - well founded set - well measurable set - well ordering set - well quasiordered set -
18 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
19 surface
1) надпочвенный2) наземный3) поверхность || поверхностный; приповерхностный4) горн. дневная поверхность5) площадь; покрытие•- assembly datum surface - bivariate normal surface - completely ramified surface - double curved surface - double ruled surface - heat exchange surface - heat transfer surface - locally polyhedral surface - semilocally one-connected surface - surface of constant width - surface of negative curvature - surface of nonnegative curvature - surface of parabolic type - surface of positive total curvature - surface of zeroth kind -
20 sum
1) сумма || суммировать, складывать2) объединение ( множеств) || объединять ( множества)3) резюме; итог || резюмировать; подводить итог; суммировать•- sum of operators
- sum of products
- sum of series
- sum of sets
- sum of squares
- algebraic sum
- approximate sum
- arithmetic sum
- check sum
- column sum
- cumulative sum - logic sum
- logical sum
- lower sum
- modulo N-sum
- negative sum
- non-zero sum
- positive sum
- rank sum
- residual sum
- residual sum of squares
- row sum
- running sum
- statistical sum
- topological sum
- total sum of squares
- upper sum
- vector sum
- weighted sum
- zero sum
См. также в других словарях:
Algebraic notation (chess) — Algebraic notation Algebraic notation (or AN) is a method for recording and describing the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, AN… … Wikipedia
Algebraic chess notation — is used to record and describe the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, it replaced the parallel system of descriptive chess notation … Wikipedia
Zero (disambiguation) — Zero is the name for both the digit 0 and the number 0.Zero may also refer to:Mathematics*Zero (complex analysis), in mathematics, a root of a holomorphic function *Zero element, in mathematics, a generalization of the number zero to other… … Wikipedia
Algebraic code excited linear prediction — (ACELP) is a speech encoding algorithm where a limited set of pulses is distributed as excitation to linear prediction filter.The ACELP method is widely employed in current speech coding standards such as AMR, EFR, AMR WB and ITU T G series… … Wikipedia
Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… … Wikipedia
Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… … Wikipedia
Algebraic curve — In algebraic geometry, an algebraic curve is an algebraic variety of dimension one. The theory of these curves in general was quite fully developed in the nineteenth century, after many particular examples had been considered, starting with… … Wikipedia
Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… … Wikipedia
Algebraic number — In mathematics, an algebraic number is a complex number that is a root of a non zero polynomial in one variable with rational (or equivalently, integer) coefficients. Complex numbers such as pi that are not algebraic are said to be transcendental … Wikipedia
Zero set — For the album by Moebius, Plank, Neumeier, see Zero Set. In mathematics, the zero set of a real valued function f : X → R (or more generally, a function taking values in some additive group) is the subset f − 1(0) of X (the inverse image of… … Wikipedia
Zero-product property — In the mathematical areas of algebra and analysis, the zero product property, also known as the zero product rule , is an abstract and explicit statement of the familiar property from elementary mathematics that if the product of two real numbers … Wikipedia